$\forall$$M$:MsgA, $k$:Knd, $x$:Id. $M$.frame($k$ affects $x$) $\in$ Prop